Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
211	Group Formation with Fixed Group Size: Complementarity vs Substitutability Christian Ahlin∗ MarchAbstract Add to Reading List Source URL: thred.devecon.org Language: English - Date: 2014-06-28 17:11:22 Game theory Order theory Supermodular function Economic equilibrium Folk theorem Matching
212	International Mathematical Olympiad Preliminary Selection Contest 2007 — Hong Kong Outline of Solutions Answers: Add to Reading List Source URL: web.hku.hk Language: English - Date: 2013-03-15 02:40:24 Order theory Ordered pair Type theory Multiplication KnuthBendix completion algorithm Permutable prime
213	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
214	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
215	Fundamental Domains for Shimura Curves David R. Kohel and Helena A. Verrill Abstract We describe a process for defining and computing a fundamental domain in the upper half plane H of a Shimura curve X0D (N ) associated Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-11-13 10:11:21 Ring theory Algebraic number theory Field theory Hyperbolic geometry Quadratic forms Quaternion algebra Algebraic number field Quadratic field Modular curve Quaternion Order Central simple algebra
216	Equations of second order in time with quasilinear damping: existence in Orlicz spaces via convergence of a full discretisation1 Etienne Emmrich∗ Institut f¨ur Mathematik, Technische Universit¨at Berlin, Straße des Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2014-12-16 02:53:45 Operator theory Complex analysis Fourier analysis Sobolev spaces Partial differential equations Differential forms on a Riemann surface Sobolev spaces for planar domains
217	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
218	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
219	A Sketch for a Quantum Theory of Gravity III Dirac’s Large Number Hypothesis James G. Gilson ∗ Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-10 13:06:25 Theories of gravitation General relativity Physics beyond the Standard Model Fellows of the Royal Society Members of the Order of Merit Quantum gravity Paul Dirac Dimensionless physical constant Quantum mechanics Planck units
220	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic II: the four-element case Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-08-24 16:58:08 Complexity classes Finite model theory Computational complexity theory Descriptive complexity Structural complexity theory FO SO P versus NP problem NP P Reduction HO

UPDATE